comutational geometry